Towards Cross-checking WordNet and SUMO Using Meronymy
نویسندگان
چکیده
We describe the practical application of a black-box testing methodology for the validation of the knowledge encoded in WordNet, SUMO and their mapping by using automated theorem provers. In this paper, we concentrate on the part-whole information provided by WordNet and create a large set of tests on the basis of few question patterns. From our preliminary evaluation results, we report on some of the detected inconsistencies.
منابع مشابه
Methods and Tools for Encoding the WordNet.Br Sentences, Concept Glosses, and Conceptual-Semantic Relations
This paper presents the overall methodology that has been used to encode both the Brazilian Portuguese WordNet (WordNet.Br) standard language-independent conceptual-semantic relations (hyponymy, co-hyponymy, meronymy, cause, and entailment) and the so-called cross-lingual conceptual-semantic relations between different wordnets. Accordingly, after contextualizing the project and outlining the c...
متن کاملBlack-box Testing of First-Order Logic Ontologies Using WordNet
Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach towards automated commonsense reasoning with first-order logic (FOL) ontologies. We propose a new black-box testing methodology of FOL SUMO-based ontologies by exploiting WordNet and its mapping into SUMO. Our proposal includes a method for t...
متن کاملSinica BOW (Bilingual Ontological Wordnet): Integration of Bilingual WordNet and SUMO
The Academia Sinica Bilingual Ontological Wordnet (Sinica BOW) integrates three resources: WordNet, English-Chinese Translation Equivalents Database (ECTED), and SUMO (Suggested Upper Merged Ontology). The three resources were originally linked in two pairs: WordNet 1.6 was manually mapped to SUMO (Niles & Pease 2003) and also to ECTED (the English lemmas in WordNet were mapped to their Chinese...
متن کاملMinimally Supervised Multilingual Taxonomy and Translation Lexicon Induction
We present a novel algorithm for the acquisition of multilingual lexical taxonomies (including hyponymy/hypernymy, meronymy and taxonomic cousinhood), from monolingual corpora with minimal supervision in the form of seed exemplars using discriminative learning across the major WordNet semantic relationships. This capability is also extended robustly and effectively to a second language (Hindi) ...
متن کاملThe Formalization of WordNet by Methods of Relational Concept Analysis1
In this chapter a mathematical formalization of WordNet that relies on WordNet’s hierarchical and relational structure is described. Conceptual hierarchies are formalized in Formal Concept Analysis (Ganter & Wille, 1996), a theory developed at the Technische Hochschule Darmstadt over the last sixteen years (Section 7.2). This theory can be extended to Relational Concept Analysis by adding furth...
متن کامل